Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This monograph presents a well written and clearly organized introduction in the standard methods of discrete, continuous and hybrid Petri Nets. Starting from the basics of Petri nets the book imparts an accurate understanding of continuous and hybrid Petri Nets. Preserving the consistency of basic concepts throughout the text it introduces a unified framework for all the models presented. The book is a scientific monograph as well as a didactic tutorial which is easy to understand due to many exercises with solutions, detailed figures and several case studies. It demonstrates that Petri nets are a deep, practical and alive field important for researchers, engineers and graduate students in engineering and computer science.

Petri nets. --- Nets (Mathematics) --- Moore-Smith convergence --- Net equations --- Net methods (Mathematics) --- Convergence --- Set theory --- Topology --- Graph theory --- Information Technology --- Artificial Intelligence --- Réseaux de Pétri --- EPUB-LIV-FT SPRINGER-B LIVINGEN --- Artificial intelligence. --- Engineering mathematics. --- Computer science. --- Systems theory. --- Mathematics. --- Control, Robotics, Mechatronics. --- Artificial Intelligence. --- Mathematical and Computational Engineering. --- Mathematical Logic and Formal Languages. --- Systems Theory, Control. --- Applications of Mathematics. --- System theory. --- Math --- Science --- Informatics --- Engineering --- Engineering analysis --- Mathematical analysis --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Systems, Theory of --- Systems science --- Mathematics --- Philosophy --- Petri nets --- Control engineering. --- Robotics. --- Mechatronics. --- Applied mathematics. --- Mathematical logic. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence. Robotics. Simulation. Graphics --- Artificial intelligence --- Prolog (Computer program language) --- Intelligence artificielle --- PROLOG (Langage de programmation) --- Data processing --- Informatique --- -Prolog (Computer program language) --- 681.3*D32 --- 681.3*I25 --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- 681.3*I25 Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Artificial intelligence. --- Prolog (computer language)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Ambient intelligence is the vision of a technology that will become invisibly embedded in our natural surroundings, present whenever we need it, enabled by simple and effortless interactions, attuned to all our senses, adaptive to users and context-sensitive, and autonomous. High-quality information access and personalized content must be available to everybody, anywhere, and at any time. This book addresses ambient intelligence used to support human contacts and accompany an individual's path through the complicated modern world. From the technical standpoint, distributed electronic intelligence is addressed as hardware vanishing into the background. Devices used for ambient intelligence are small, low-power, low weight, and (very importantly) low-cost; they collaborate or interact with each other; and they are redundant and error-tolerant. This means that the failure of one device will not cause failure of the whole system. Since wired connections often do not exist, radio methods will play an important role for data transfer. This book addresses various aspects of ambient intelligence, from applications that are imminent since they use essentially existing technologies, to ambitious ideas whose realization is still far away, due to major unsolved technical challenges.

Telecommunication technology --- Philosophy and psychology of culture --- Mass communications --- Ubiquitous computing --- Sensor networks --- Computer networks --- Telecommunication --- Informatique omniprésente --- Réseaux de capteurs --- Réseaux d'ordinateurs --- Télécommunications --- Social aspects --- Aspect social --- Solitons. --- Ubiquitous computing. --- Engineering & Applied Sciences --- Computer Science --- Sensor networks. --- Social aspects. --- Society and telecommunication --- Networks, Sensor --- Pervasive computing --- UbiComp (Computer science) --- Engineering. --- User interfaces (Computer systems). --- Artificial intelligence. --- Complexity, Computational. --- Electronics. --- Microelectronics. --- Optical materials. --- Electronic materials. --- Nanotechnology. --- Complexity. --- Optical and Electronic Materials. --- User Interfaces and Human Computer Interaction. --- Electronics and Microelectronics, Instrumentation. --- Artificial Intelligence (incl. Robotics). --- Molecular technology --- Nanoscale technology --- High technology --- Electronic materials --- Optics --- Materials --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Electronics --- Microtechnology --- Semiconductors --- Miniature electronic equipment --- Electrical engineering --- Physical sciences --- Complexity, Computational --- Electronic data processing --- Machine theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Construction --- Industrial arts --- Technology --- Embedded computer systems --- Detectors --- Context-aware computing --- Multisensor data fusion --- Distributed processing --- Computer science. --- Artificial Intelligence. --- Informatics --- Science --- Computational complexity.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Heuristic programming --- Operations research --- Problem solving --- -681.3*F22 --- 681.3*G16 --- 681.3*I28 --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- Operational analysis --- Operational research --- Industrial engineering --- Management science --- Research --- System theory --- Artificial intelligence --- Programming (Mathematics) --- Data processing --- Nonnumerical algorithms and problems: complexity of proof procedures computations on discrete structures geometrical problems and computations pattern matching --See also {?681.3*E2-5} {681.3*G2} {?681.3*H2-3} --- Optimization: constrained optimization gradient methods integer programming least squares methods linear programming nonlinear programming (Numericalanalysis) --- Problem solving, control methods and search: backtracking dynamic program- ming graph and tree search strategies heuristics plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- Artificial intelligence. --- Heuristic programming. --- Operations research. --- Data processing. --- 681.3*I28 Problem solving, control methods and search: backtracking dynamic program- ming graph and tree search strategies heuristics plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- 681.3*G16 Optimization: constrained optimization gradient methods integer programming least squares methods linear programming nonlinear programming (Numericalanalysis) --- 681.3*F22 Nonnumerical algorithms and problems: complexity of proof procedures computations on discrete structures geometrical problems and computations pattern matching --See also {?681.3*E2-5} {681.3*G2} {?681.3*H2-3} --- 681.3.069 --- Artificiële Intelligentie --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Kunstmatige intelligentie --- Speltheorie --- Zoekmethoden --- Zoekstrategie (operations research) --- Kunstmatige intelligentie. --- Speltheorie. --- Zoekmethoden. --- Zoekstrategie (operations research). --- 681.3*F22 --- 681.3*G16 Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) --- Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) --- Cognitive science --- Electronic data processing --- Simulation methods --- 681.3*I28 Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- 681.3*F22 Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- 519.8 --- 681.3*I --- 681.3*I Computing methodologies --- Computing methodologies --- 519.8 Operational research --- Artificial intelligence. Robotics. Simulation. Graphics --- Problem solving - Data processing